#!/bin/sh


BOOGIE_DIR="boogie"
Z3_DIR="z3"

echo ' 
  ====================================================================
     ____                    _           __________ 
    | __ )  ___   ___   __ _(_) ___   _ |__  /___ / 
    |  _ \ / _ \ / _ \ / _` | |/ _ \_| |_ / /  |_ \ 
    | |_) | (_) | (_) | (_| | |  __/_   _/ /_ ___) |
    |____/ \___/ \___/ \__, |_|\___| |_|/____|____/ 
                    |___/      
  ====================================================================
'

echo 'Fetching Z3...'
git clone https://git01.codeplex.com/z3 $Z3_DIR

echo 'Done...'

echo 'Fetching Boogie...'
hg clone https://hg.codeplex.com/boogie $BOOGIE_DIR
echo 'Done'


echo 'Fetching done. Now run the build script, eg: ./build.sh LINUX'


